Benhamou, Belaid : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres
Articles (28)
Les plus populaires
Liste
- Liste
- Tableau

1

Tractability through symmetries in propositional calculus

Belaid Benhamou, Lakhdar Sais

Journal:

Journal of Automated Reasoning

Année:

1994

Langue:

english

Fichier:

PDF, 861 KB

english, 1994

2

Local Search Methods for the Optimal Winner Determination Problem in Combinatorial Auctions

Dalila Boughaci, Belaïd Benhamou, Habiba Drias

Journal:

Journal of Mathematical Modelling and Algorithms in Operations Research

Année:

2010

Langue:

english

Fichier:

PDF, 293 KB

english, 2010

3

[IEEE 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Bari, Italy (2019.10.6-2019.10.9)] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - An Integrated Guided Local Search considering Human Resource Constraints for the Single-machine Scheduling problem with Preventive Maintenance

Touat, Meriem, Tayeb, Fatima Benbouzid-Si, Benhamou, Belaid, Sadeg, Lamia, Aklil, Salima, Karaoui, Meryem

Année:

2019

Langue:

english

Fichier:

PDF, 326 KB

english, 2019

4

A memetic algorithm for the optimal winner determination problem

Dalila Boughaci, Belaïd Benhamou, Habiba Drias

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Année:

2009

Langue:

english

Fichier:

PDF, 339 KB

english, 2009

5

Predicting and Detecting Symmetries in FOL Finite Model Search

Gilles Audemard, Belaïd Benhamou, Laurent Henocque

Journal:

Journal of Automated Reasoning

Année:

2006

Langue:

english

Fichier:

PDF, 818 KB

english, 2006

6

Dealing with Satisfiability and n-ary CSPs in a Logical Framework

Belaïd Benhamou, Lionel Paris, Pierre Siegel

Journal:

Journal of Automated Reasoning

Année:

2012

Langue:

english

Fichier:

PDF, 471 KB

english, 2012

7

Scatter Search and Genetic Algorithms for MAX-SAT Problems

Dalila Boughaci, Belaïd Benhamou, Habiba Drias

Journal:

Journal of Mathematical Modelling and Algorithms in Operations Research

Année:

2008

Langue:

english

Fichier:

PDF, 378 KB

english, 2008

8

[IEEE 2006 International Conference on Dependability of Computer Systems - Szklarska Poreba (2006.05.25-2006.05.27)] 2006 International Conference on Dependability of Computer Systems - Distributed Intrusion Detection Framework based on Autonomous and Mobile Agents

Boughaci, Dalila, Drias, Habiba, Bendib, Ahmed, Bouznit, Youcef, Benhamou, Belaid

Année:

2006

Langue:

english

Fichier:

PDF, 229 KB

english, 2006

9

[IEEE 2010 International Conference on Machine and Web Intelligence (ICMWI) - Algiers, Algeria (2010.10.3-2010.10.5)] 2010 International Conference on Machine and Web Intelligence - Reasoning by symmetry in non-monotonic inference

Benhamou, Belaid, Nabhani, Tarek, Siegel, Pierre

Année:

2010

Langue:

english

Fichier:

PDF, 654 KB

english, 2010

10

[Lecture Notes in Computer Science] Artificial Intelligence, Automated Reasoning, and Symbolic Computation Volume 2385 ||

Calmet, Jacques, Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent, Sorge, Volker

Année:

2002

Langue:

english

Fichier:

PDF, 4.25 MB

english, 2002

11

[Lecture Notes in Computer Science] Artificial Intelligence, Automated Reasoning, and Symbolic Computation Volume 2385 || Continuous First-Order Constraint Satisfaction

Calmet, Jacques, Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent, Sorge, Volker

Année:

2002

Langue:

english

Fichier:

PDF, 210 KB

english, 2002

12

[Lecture Notes in Computer Science] Artificial Intelligence, Automated Reasoning, and Symbolic Computation Volume 2385 || Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints

Calmet, Jacques, Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent, Sorge, Volker

Année:

2002

Langue:

english

Fichier:

PDF, 184 KB

english, 2002

13

[IEEE 2006 International Conference on Dependability of Computer Systems - Szklarska Poreba (2006.05.25-2006.05.27)] 2006 International Conference on Dependability of Computer Systems - A Distributed Firewall using Autonomous Agents

Boughaci, Dalila, Drias, Habiba, Oubeka, Brahim, Aissioui, Abdelkader, Benhamou, Belaid

Année:

2006

Langue:

english

Fichier:

PDF, 481 KB

english, 2006

14

[IEEE 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007) - Patras, Greece (2007.10.29-2007.10.31)] 19th IEEE International Conference on Tools with Artificial Intelligence(ICTAI 2007) - Consistent Neighborhood for the Satisfiability Problem

Habet, Djamal, Paris, Lionel, Benhamou, Belaid

Année:

2007

Langue:

english

Fichier:

PDF, 405 KB

english, 2007

15

[Lecture Notes in Computer Science] Artificial Intelligence, Automated Reasoning, and Symbolic Computation Volume 2385 || The Wright ω Function

Calmet, Jacques, Benhamou, Belaid, Caprotti, Olga, Henocque, Laurent, Sorge, Volker

Année:

2002

Langue:

english

Fichier:

PDF, 277 KB

english, 2002

16

[IEEE 2010 22nd International Conference on Tools with Artificial Intelligence (ICTAI) - Arras, France (2010.10.27-2010.10.29)] 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - Enhancing Clause Learning by Symmetry in SAT Solvers

Benhamou, Belaid, Nabhani, Tarek, Ostrowski, Richard, Saidi, Mohamed Reda

Année:

2010

Langue:

english

Fichier:

PDF, 740 KB

english, 2010

17

Local and global symmetry breaking in itemset mining

Benhamou, Belaïd

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2017

Langue:

english

Fichier:

PDF, 962 KB

english, 2017

18

A hybridization of Genetic Algorithms and Fuzzy Logic for the Single-Machine Scheduling with Flexible Maintenance problem under Human Resource Constraints

Touat, Meriem, Bouzidi-Hassini, Sabrina, Tayeb, Fatima Benbouzid-Si, Benhamou, Belaid

Journal:

Applied Soft Computing

Année:

2017

Langue:

english

Fichier:

PDF, 1.31 MB

english, 2017

19

[IEEE 2017 International Conference on Mathematics and Information Technology (ICMIT) - Adrar, Algeria (2017.12.4-2017.12.5)] 2017 International Conference on Mathematics and Information Technology (ICMIT) - Iterated harmony differential search for the minimum interference frequency assignment problem

Lahsinat, Yasmine, Boughaci, Dalila, Benhamou, Belaid

Année:

2017

Langue:

english

Fichier:

PDF, 178 KB

english, 2017

20

[IEEE 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Boston, MA, USA (2017.11.6-2017.11.8)] 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Some Neighbourhood Approaches for the Antenna Positioning Problem

Benmezal, Larbi, Benhamou, Belaid, Boughaci, Dalila

Année:

2017

Langue:

english

Fichier:

PDF, 460 KB

english, 2017

21

[IEEE 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Boston, MA, USA (2017.11.6-2017.11.8)] 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - A Fuzzy Genetic Algorithm for Single-Machine Scheduling and Flexible Maintenance Planning Integration under Human Resource Constraints

Touat, Meriem, Benbouzid-Si Tayeb, Fatima, Bouzidi-Hassini, Sabrina, Benhamou, Belaid

Année:

2017

Langue:

english

Fichier:

PDF, 414 KB

english, 2017

22

Breakout variable neighbourhood search for the minimum interference frequency assignment problem

Lahsinat, Yasmine, Boughaci, Dalila, Benhamou, Belaid

Journal:

Journal of Systems and Information Technology

Année:

2018

Langue:

english

Fichier:

PDF, 241 KB

english, 2018

23

[IEEE 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI) - Volos, Greece (2018.11.5-2018.11.7)] 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI) - A New Method for Computing Stable Models in Logic Programming

Khaled, Tarek, Benhamou, Belaid, Siegel, Pierre

Année:

2018

Langue:

english

Fichier:

PDF, 202 KB

english, 2018

24

A multilevel hyper-heuristic for solving Max-SAT

Lassouaoui, Mourad, Boughaci, Dalila, Benhamou, Belaid

Journal:

International Journal of Metaheuristics

Année:

2017

Fichier:

PDF, 834 KB

2017

25

An effective heuristic for the single-machine scheduling problem with flexible maintenance under human resource constraints

Touat, Meriem, Tayeb, Fatima Benbouzid-Si, Benhamou, Belaid

Journal:

Procedia Computer Science

Année:

2018

Langue:

english

Fichier:

PDF, 307 KB

english, 2018

26

[IEEE 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Bari, Italy (2019.10.6-2019.10.9)] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - An Integrated Guided Local Search considering Human Resource Constraints for the Single-machine Scheduling problem with Preventive Maintenance

Touat, Meriem, Tayeb, Fatima Benbouzid-Si, Benhamou, Belaid, Sadeg, Lamia, Aklil, Salima, Karaoui, Meryem

Année:

2019

Fichier:

PDF, 326 KB

2019

27

Three Local Search Meta-Heuristics for the Minimum Interference Frequency Assignment Problem (MI-FAP) in Cellular Networks

Lahsinat, Yasmine, Boughaci, Dalila, Benhamou, Belaid

Journal:

International Journal of Applied Metaheuristic Computing

Année:

2019

Langue:

english

Fichier:

PDF, 720 KB

english, 2019

28

A synergy Thompson sampling hyperâheuristic for the feature selection problem

Lassouaoui, Mourad, Boughaci, Dalila, Benhamou, Belaid

Journal:

Computational Intelligence

Année:

2020

Fichier:

PDF, 1.57 MB

2020